Functional Safety - PDFSEARCH.IO - Document Search Engine

Functional Safety
Results: 882

#	Item
161	Curriculum Activity Risk Assessment Functional Flexibility Note: Use this Risk Assessment for a high or extreme risk activity where a Curriculum Activity Risk Assessment Guideline does not exist. If a Curriculum Activity Add to Reading List Source URL: www.sportssupercentre.com.au Language: English - Date: 2015-02-16 21:12:41 Risk management Safety engineering Actuarial science Evaluation Risk assessment Occupational safety and health Emergency management Hazard Inherent risk Risk Management Ethics
162	testIDEA - Software Test without code instrumentation Testing in general and especially according to functional safety standards is gaining more and more importance in the embedded world. iSYSTEM provides a real-time tes Add to Reading List Source URL: www.isystem.com Language: English - Date: 2013-10-24 05:32:20 Author citation Book Publishing Library science Knowledge Information Bibliography Citation Reference
163	31 March[removed]Belgocontrol applies runway use correctly An annual Eurocontrol audit report shows that Belgocontrol meticulously applies the established runway use at Brussels Airport. Every deviation during the observat Add to Reading List Source URL: www.belgocontrol.be Language: English - Date: 2015-04-19 07:20:05 Aviation Air Navigation Service Provider Eurocontrol Functional Airspace Block Airport Luxembourg Approach Controllers Association Air traffic control Air safety Transport
164	Scalable Certiﬁcation for Typed Assembly Language Dan Grossman and Greg Morrisett Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2001-03-05 11:41:46 Programming language implementation Type theory Procedural programming languages Compiler construction Functional languages Compiler Type inference Type system Type safety Software engineering Computing Programming language theory
165	Type Dispatch for Named Hierarchical Types ∗ Neal Glew Department of Computer Science Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-06-23 09:53:29 Tagged union Computing Type safety Programming language semantics Functional languages Type theory Programming language theory Software engineering
166	Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Dynamics for ML using Meta-Programming Thomas Gazagnaire Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2013-09-29 14:14:18 Type theory Functional languages Data types OCaml Functional programming ML Caml Type system Type safety Software engineering Computing Programming language theory
167	Briefing European Parliamentary Research Service Add to Reading List Source URL: www.europarl.europa.eu Language: English - Date: 2015-03-31 11:16:48 Aviation Single European Sky Functional Airspace Block Eurocontrol Air Navigation Service Provider Air traffic service European Aviation Safety Agency Single European Sky ATM Research SESAR Joint Undertaking Transport Air safety Air traffic control
168	Adding Types to Untyped Languages Matthias Felleisen PLT Northeastern University, Boston, Massachusetts [removed] Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Type theory Lambda calculus Data types Functional programming Racket Matthias Felleisen Type safety Programming language Robert Bruce Findler Software engineering Computing Programming language theory
169	GRANOSITE GRANOTROWL - SAND COARSE MCR Chemwatch Independent Material Safety Data Sheet Issue Date: 20-sep-2010 C9317EC CHEMWATCH Interim Add to Reading List Source URL: systemselector.wattyl.com.au Language: English - Date: 2010-09-19 19:50:25 Diols Functional groups Ethylene glycol Diethylene glycol Ethanol Ether 2-Butoxyethanol N-Butanol Propylene glycol Chemistry Household chemicals Alcohols
170	From System F to Typed Assembly Language GREG MORRISETT and DAVID WALKER Cornell University KARL CRARY Carnegie Mellon University and Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-10-21 10:40:17 Computing Models of computation Functional languages Program analysis Type system Standard ML Type safety Typed assembly language Lambda calculus Software engineering Type theory Programming language theory

UPDATE